There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...) misconstrues this discussion. His weak positive claim that mechanistic sciences appeal to generalizations is true but uninteresting. His stronger claim, that all causal claims require laws, is unsupported by his arguments. Though we proceed by criticizing Leuridan’s arguments, our greater purpose is to embellish his arguments in order to show how thinking about mechanisms enriches and transforms old philosophical debates about laws in biology and provides new insights into how generalizations afford prediction, explanation and control. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...) one: although statistical fluctuations will result in occasional spontaneous differences in temperature or pressure, there is no way to predictably and reliably harness these to produce large violations of the original version of the second law. Maxwell advocates a version of the second law that is strictly weaker; the validity of even this probabilistic version is of limited scope, limited to situations in which we are dealing with large numbers of molecules en masse and have no ability to manipulate individual molecules. Connected with this is his concept of the thermodynamic concepts of heat, work, and entropy; on the Maxwellian view, these are concepts that must be relativized to the means we have available for gathering information about and manipulating physical systems. The Maxwellian view is one that deserves serious consideration in discussions of the foundation of statistical mechanics. It has relevance for the project of recovering thermodynamics from statistical mechanics because, in such a project, it matters which version of the second law we are trying to recover. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

What should we make of claims by members of other groups to have moralities different from our own? Human Rights in Chinese Thought gives an extended answer to this question in the first study of its kind. It integrates a full account of the development of Chinese rights discourse - reaching back to important, though neglected, origins of that discourse in 17th and 18th century Confucianism - with philosophical consideration of how various communities should respond to contemporary Chinese claims about (...) the uniqueness of their human rights concepts. The book elaborates a plausible kind of moral pluralism and demonstrates that Chinese ideas of human rights do indeed have distinctive characteristics, but it nonetheless argues for the importance and promise of cross-cultural moral engagement. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

In his latest book, Michael Devitt rejects Chomsky’s mentalist conception of linguistics. The case against Chomsky is based on two principal claims. First, that we can separate the study of linguistic competence from the study of its outputs: only the latter belongs to linguistic inquiry. Second, Chomsky’s account of a speaker’s competence as consisiting in the mental representation of rules of a grammar for his language is mistaken. I shall argue, first, that Devitt fails to make a case for separating (...) the study of outputs from the study of competence, and second, that Devitt mis-characterises Chomsky’s account of competence, and so his objections miss their target. Chomsky’s own views come close to a denial that speaker’s have knowledge of their language. But a satisfactory account of what speakers are able to do will need to ascribe them linguistic knowledge that they use to speak and understand. I shall explore a conception of speaker’s knowledge of language that confirrns Chomsky’s mentalist view of linguistics but which is immune to Devitt’s criticism. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Building on Peter French’s important work, this chapter draws three distinctions that arise in the context of attributions of moral responsibility, understood as the extent to which an agent is blameworthy or praiseworthy. First, the subject of an attribution of responsibility may be an individual agent or a collective agent. Second, the object of the responsibility attribution may be an individual action (or consequence) or a collective action (or consequence). The third distinction concerns the temporal dimension of the responsibility attribution. (...) Sometimes responsibility for an action is attributed to an agent at the time of the action. At other times responsibility for an action is attributed to an agent sometime after the action has taken place. Taken together, these three binary distinctions yield eight types of responsibility attribution. It is argued that a collective agent’s responsibility for a past collective act is properly understood on the same theoretical model as is an individual’s responsibility for a past individual act. While most assume that responsibility over time is a straightforward matter of identity over time, it is argued that instead this is a matter of psychological or attitudinal connectedness. The possibility is considered that this relation also grounds attributions involving an asymmetry between subject and object, such as individual responsibility for past collective action, but a skeptical worry is raised that such attributions entail an unpalatable form of moral luck and should therefore be rejected. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

There is an old worry, which dates back to Mill but has analogs even in Sextus, that the very definition of ‘validity’ implies that all valid arguments are circular. This paper investigates how contemporary formal tools can ellucidate that old worry. Its main finding is the existence of a genuine puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument’.

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

One way in which philosophers have often sought to distinguish moral judgments from non-moral judgments is by using the “moral-conventional” distinction. I seek to raise serious questions about the significance of the moral-conventional distinction, at least for philosophers interested in moral judgment. I survey recent developments in the fields of philosophy, psychology, and cognitive science that have led many to the conclusion that moral judgment is not a distinctive kind of judgment or the result of a specific, identifiable cognitive process. (...) I argue that if this conclusion is largely correct, the moral-conventional distinction loses significance. If moral judgment does not correspond to a distinctive cognitive process, it is unclear how distinguishing between types of norms tracks anything of significance to human judgment formation. I then discuss the implications of abandoning the distinction for research in the field of moral psychology and tentatively propose a more modest way of conceiving of norm significance. (shrink)

Atualmente, biotecnologias são empregadas na forma de protocolos a fim de sincronizar o crescimento folicular e a ovulação, bem como permitir que vacas atuem como receptoras de embriões visando melhorar o potencial genético do rebanho. O objetivo desse estudo foi avaliar o efeito da utilização de implantes intravaginais de progesterona de 1º, 2º e 3º uso no protocolo de transferência de embriões em tempo fixo (TETF) sobre a taxa de prenhez em receptoras girolandas. O experimento ocorreu em uma fazenda localizada (...) no município de São Sebastião do Maranhão (MG). Foram utilizadas 74 vacas submetidas aos seguintes protocolos: No dia 0 (D0) administrou-se 2 ml de 17β-Estradiol e progesterona e foi colocado o implante intravaginal de progesterona. Estes implantes foram colocados de forma aleatória, sendo de 1° uso (grupo 1; n=15), 2° (grupo 2; n=24) ou 3° (grupo 3; n=35).No D8, os implantes foram retirados e administrou-se 2 ml PGF2α; 1,5 ml de eCG e 1 ml de 17β-Estradiol e progesterona. A inovulação dos embriões in vitroo correu no D (16) para todas as vacas que apresentaram um corpo lúteo. As variáveis qualitativas (prenhe ou não prenhe) foram comparadas em tabelas de contingência e analisadas pelo teste de qui-quadrado a 5% de probabilidade. Neste estudo não houve diferença estatística entre os grupos protocolados em relação ao aproveitamento como receptoras: 1º uso (53,3%), 2º (79,2%) e 3º (68,65). Ademais, observou-se uma taxa de prenhez entre os grupos de 37,5% para o 1º uso, 42,1% para o 2º e 33,3% para o 3º (P>0,05). Dentre as vantagens ao reaproveitamento dos implantes multiusos destaca-se a redução dos custos dos protocolos hormonais, já que a progesterona é o hormônio mais oneroso, desta forma, a maximização do uso reduz o valor final do protocolo sem prejuízos a taxa de prenhez. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

The work argues that engaging Africa's cultural and epistemic resources as social imaginaries, and not as metaphysical or ontological “essences,” could help practitioners of African philosophy overcome the cluster of shortcomings and undesirable features associated with “ethnophilosophy.” A number of points are outlined to buttress this claim. First, the framework of social imaginaries does not operate with the false assumption that Africa's cultural forms and epistemic resources are static and immutable. Second, this framework does not lend itself to sweeping generalizations (...) about Africa or large swathes of it. Third, the framework of social imaginaries remedies ethnophilosophy's problem of collectivism. Fourth, unlike ethnophilosophy, it does not romanticize and canonize a supposedly “idyllic” African past, which militates against a realistic and forward‐looking philosophizing. Finally, with the framework of social imaginaries, Africa's indigenous cultural and epistemic resources become amenable to being engaged with critical philosophical rigor. This not only enhances their potential for cross‐cultural philosophical conversation but also enhances their usefulness for addressing current sociopolitical issues affecting Africa. The discussion in this paper somewhat touches upon the question of method in African philosophy, using the ethnophilosophy problem to navigate the vast gamut of issues involved. (shrink)

At first glance, it looks like Aristotle can’t make up his mind about the ethical or moral status of non-human animals in his ethical treatises. Somewhat infamously, the Nicomachean Ethics claims that “there is neither friendship nor justice towards soulless things, nor is there towards an ox or a horse” (EN 8.11.1161b1–2). Since Aristotle thinks that friendship and justice are co-extensive (EN 8.9.1159b25–32), scholars have often read this passage to entail that humans have no ethical obligations to non-human animals. By (...) contrast, although the Eudemian Ethics denies that non-human animals can participate in “primary” friendships, EE 7.2 claims that “the other kinds of friendship are also found among animals; and it is evident that utility is present to some extent among them both in relation to humankind, in the case of tame animals, and in relation to each other” (EE 7.2.1236b3–11). Does the Nicomachean account of non-human animals contradict that of the Eudemian Ethics? Ultimately, I believe the Nicomachean account is consistent with the Eudemian account. Nonetheless, I argue that Aristotle’s treatment of non-human animals differs significantly in the two texts. My chapter explores this difference in greater detail and considers the ramifications of such a difference for our understanding of Aristotle’s place in the philosophical tradition concerning the ethical status of non-human animals. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

El objetivo de este artículo es realizar una historización del sistema sanitario de Neuquén, concretamente atendiendo a los programas de salud aplicados en esta provincia desde su surgimiento hasta el año 2020. En este marco, en primer lugar, me enfocaré en los lineamientos políticos que definieron las bases ideológicas de las políticas públicas llevadas a cabo en la atención sanitaria neuquina, y, en segundo lugar, examinaré las variables estadísticas publicadas por el sistema de salud provincial referidas a las condiciones materiales (...) de atención médica de la población en general, y de las mujeres indígenas mapuce en particular. Para efectuar dicho abordaje, analizaré específicamente la localidad de Las Coloradas. -/- . (shrink)

This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...) the impact of superintelligent machines might be, how we might design safe and controllable systems, and whether there are directions of research that should best be avoided or strengthened. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

The idea that appearances provide justifications for beliefs—the principle of phenomenal conservatism—is self-evidently true. In the case of cognitive penetration, however, it seems that certain irrational etiologies of a belief may influence the epistemic quality of that belief. Susanna Siegel argues that these etiologies lead to ‘epistemic downgrade.’ Instead of providing us with a decisive objection, cognitive penetration calls for us to clarify our epistemic framework by understanding the formative parts of appearances. In doing so, the two different but inseparable (...) ideas of sensation and intellection provide us with a basis of our appearances. These appearances, in turn, provide us with the objective evidence needed to test our judgements. Thus, the extra-sensory concepts of intellectual identification and the appearances they help form become an epistemic groundwork. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

If the intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity. Time has come to consider these issues, and this consideration must include progress in AI as much as insights from the theory of AI. The papers in this volume try to make cautious headway in setting the problem, evaluating predictions on the future of AI, proposing ways to ensure that AI systems will be beneficial to humans – and critically (...) evaluating such proposals. (shrink)

ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on differences (...) in ethical values that obtain across cultures. UNESCO's earlier work on gender mainstreaming illustrates the necessity of thinking from multiple perspectives in generating universal norms. The declaration asserts the ‘fundamental equality of all human beings in dignity and rights’1 and insists that ‘the highest attainable standard of health is one of the fundamental rights of every human being without distinction of race, religion, political belief, economic or social condition’2 yet it does not explicitly recognize disparities of power and wealth that deny equal dignity and rights to many. Without attention to structural (as opposed to merely accidental) inequities, UNESCO's invocation of rights is so abstract as to be incompatible with its avowed intention. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)